reducibility of problem

[計] 歸約性題, 可簡化問題